Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
631	Probability in the Engineering and Informational Sciences, 25, 2011, 171–185. doi:[removed]S0269964810000331 Add to Reading List Source URL: www.math.wsu.edu Language: English - Date: 2011-04-01 00:21:28 Functional analysis Function Sheaf Diagonal lemma Linear temporal logic Mathematics Mathematical analysis Distribution
632	Equational Abstractions Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-07-04 15:14:58 Temporal logic Model theory Symbol Unification Modal logic Μ operator Normal distribution Logic Mathematical logic Linear temporal logic
633	Algebraic Simulations Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 2 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-07-04 15:15:07 Theoretical computer science Applied mathematics Constructible universe Bisimulation Mathematics Temporal logic Kripke structure Model checking
634	Notes on Model Checking and Abstraction in Rewriting Logic∗ Jos´e Meseguer Miguel Palomino Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2004-08-30 16:16:42 Deduction Linear temporal logic Algebraic topology Model checking Entailment Admissible rule Abstract interpretation Kripke structure Interpretation Logic Mathematical logic Temporal logic
635	Local Model Checking Games (Extended Abstract) Colin Stirling? Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:04:11 Model checking Modal μ-calculus Temporal logic
636	Modal and Temporal Logics for Processes Colin Stirling Dept. of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK email: [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:03:46 Combinatory logic Diagrams Science Quantum mechanics Selection rule Spectroscopy
637	Focus Games for Satisfiability and Completeness of Temporal Logic Martin Lange Colin Stirling LFCS, Division of Informatics, University of Edinburgh, JCMB, King’s Buildings, Edinburgh, EH9 3JZ {martin,cps}@dcs.ed.ac.uk Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:57:33 Formal languages Logical syntax Linear temporal logic Temporal logic Interpretation Entailment Substitution Model theory Well-formed formula Logic Metalogic Propositional calculus
638	Action Emulation Between Canonical Models Floor Sietsma Jan van Eijck May 23, 2013 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 10:52:48 Mathematics Kripke semantics Interpretation Bisimulation Structure Constructible universe Modal logic Μ operator Linear temporal logic Logic Model theory Mathematical logic
639	Chapter 1 Perception and Change in Update Logic Jan van Eijck Abstract Three key ways of updating one’s knowledge are (i) perception of states Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2011-01-18 09:31:16 Modal logic Golden ratio Numbers Common knowledge Epistemology Mathematics Linear temporal logic Logic Artificial intelligence Epistemic modal logic
640	Logic of Information Flow on Communication Channels Yanjing Wang, Floor Sietsma and Jan van Eijck Centrum Wiskunde en Informatica, y.wang, f.sietsma, [removed] Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:10:08 Constructible universe Common knowledge Logic Science Linear temporal logic Artificial intelligence Epistemic modal logic Modal logic